Dependent type - PDFSEARCH.IO - Document Search Engine

Dependent type
Results: 326

#	Item
21	Fundamenta Informaticaei–i i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2010-09-09 06:56:43 Type theory Thorsten Altenkirch DTP Dependent type
22	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky Add to Reading List Source URL: rdp15.mimuw.edu.pl Language: English - Date: 2015-07-08 00:48:54 Mathematics Academia Mathematical logic Type theory Abstract algebra Logic in computer science Mathematical structures Formal methods Intuitionistic type theory Expression Lambda calculus Universal algebra
23	Final test: Type Theory and Coqjanuary 2011, 10:30–12:30, HG00.308 The mark for this test is the total number of points divided by ten, where the first 10 points are free. 1. Give a term of the simply typed la Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-18 05:58:42 Mathematical logic Logic Type theory Theoretical computer science Lambda calculus Dependently typed programming Proof theory Logic in computer science CurryHoward correspondence Dependent type System F Simply typed lambda calculus
24	FAA APPROVED MODEL LIST For ADS-B Out Airworthiness Approval Peregrine STC NO. SA007 44DE 1. Revision Log Add to Reading List Source URL: www.trig-avionics.com Language: English - Date: 2016-03-14 08:58:50 Aviation Federal Aviation Administration Business Aeronautics Avionics Air traffic control Aviation safety Global Positioning System Type certificate Automatic dependent surveillance broadcast Wide Area Augmentation System Supplemental type certificate
25	Approved Model List For Automatic Dependent Surveillance - Broadcast (ADS-B) Out System using the Trig Avionics TT31 Transponder and qualified Global Position System (GPS) Peregrine STC No. SA00744DE Add to Reading List Source URL: www.trig-avionics.com Language: English - Date: 2016-03-14 08:58:47 Aviation Aeronautics Federal Aviation Administration Avionics Transport Wide Area Augmentation System Automatic dependent surveillance broadcast Type certificate Federal Aviation Regulations Global Positioning System Advisory circular Supplemental type certificate
26	Dependent Types in Practical Programming Hongwei Xi December 6th, 1998 Department of Mathematical Sciences Carnegie Mellon University Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 1999-11-28 18:07:44 Software engineering Programming language theory Computing Type theory Functional languages Logic in computer science Programming paradigms Models of computation Denotational semantics Type system Programming language Constraint programming
27	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
28	Microsoft Word - SA00756DE_AML.doc Add to Reading List Source URL: www.trig-avionics.com Language: English - Date: 2016-03-14 08:58:46 Aviation Aeronautics Federal Aviation Administration Avionics Transport Aircraft maintenance Air traffic control Type certificate Supplemental type certificate Automatic dependent surveillance broadcast Advisory circular Federal Aviation Regulations
29	Type theory and proof assistants 21 January 2009, 15.30–17.30 This test has 15 exercises, and each exercise is worth 6 points. The first 10 points are free, and the final mark is the number of points divided by ten. Go Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Type theory Mathematical logic Theoretical computer science Lambda calculus Mathematics CurryHoward correspondence Dependent type Church encoding System F Simply typed lambda calculus Natural deduction Combinatory logic
30	logical verificationexercises 2 Exercise 1. This exercise is concerned with dependent types. We use the following definition in Coq: Inductive natlist_dep : nat -> Set := \| nil_dep : natlist_dep 0 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-02 08:06:23 Logic Mathematical logic Mathematics Type theory Propositional calculus Syntax Predicate logic CurryHoward correspondence Dependent type Lambda calculus First-order logic Proposition